Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
471	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {P} . . . {Q} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Hoare logic Predicate transformer semantics Mathematics Creative Commons Structure Model theory Program logic Open content Formal methods
472	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics
473	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
474	FM 2014 Program Book Welcome Message from the Organising Committee Welcome to FM2014! Welcome to Singapore! This is the nineteenth in a series of symposia organised by Formal Methods Europe, this is its first time in As Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-05-08 02:42:02 Applied mathematics Logic in computer science Model checkers Model checking Formal verification Uppaal Model Checker Verification COM Path Systems engineering Formal methods Science
475	Event-Based Runtime Verification of Java Programs Marcelo d’Amorim ∗ † Kestrel Technology Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:19 Formal methods Logic in computer science Cross-platform software Temporal logic AWK Runtime verification Model checking Modal logic Formal verification Computing Software engineering Software
476	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic
477	[removed]David Jeffrey Ljung Madison - Resume David Jeffrey Ljung Madison Programming, Algorithm Design/Development, VLSI / CPU Verification Add to Reading List Source URL: davesource.com Language: English - Date: 2014-10-17 23:07:38 Hardware description languages Hardware verification languages Formal methods Logic in computer science Verilog Application-specific integrated circuit Post-silicon validation Formal verification Random test generator Electronic engineering Electronic design automation Digital electronics
478	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
479	Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-04-26 23:57:05 Logic in computer science Diagnosis Runtime verification Linear temporal logic Model checking Medical diagnosis Actor model Modal logic Temporal logic Logic Artificial intelligence Formal methods
480	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2007-01-29 15:18:04 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science

UPDATE